involving Lotus pond